161. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
162. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
163. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
164. The functional approach to programming
پدیدآورنده : Cousineau, Guy
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(
رده :
QA
76
.
62
.
C68
1998
165. The generic development languag Deva : presentation and case studies
پدیدآورنده : Weber, Matthias
کتابخانه: (طهران)
موضوع : ، Deva )Computer program language(,، Functional programming languages
رده :
QA
76
.
L28
Vol
.
738
166. The generic development language Deva : presentation and case studies
پدیدآورنده : Weber, Matthias.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Deva )Computer program language(,، Functional programming languages
رده :
QA
76
.
73
.
D4
.
W43
1993
167. <The> implementation of functional programming languages
پدیدآورنده : Simon L. Peyton Jones
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming languages
رده :
QA
،
76
.
7
،.
P495
،
1987
168. The joy of Kotlin
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Kotlin (Computer program language) ; Functional programming (Computer science) ; Application software ; Development. ;
169. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
170. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
171. Translating relational queries into iterative programs
پدیدآورنده : Freytag, Johann Christoph, 4591-
کتابخانه: (طهران)
موضوع : ، Relational databases,، Computer programming,، Functional programming languages
رده :
QA
76
.
L28
Vol
.
261
172. Trends in Functional Programming
پدیدآورنده : / aلWolfgang Loidl, Ricardo Pe-Hans
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
173. Trends in Functional Programming
پدیدآورنده : / a, Rex PageلRicardo Pe
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
174. Trends in Functional Programming
پدیدآورنده : / kلria Zsلth, Viktعn HorvعRex Page, Zolt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
175. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
176. Trends in Functional Programming
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses,Functional programming (Computer science) ,برنامهنویسی تابعی (کامپیوتر) -- کنگرهها,برنامهنویسی تابعی (کامپیوتر)
رده :
E-Book
,
177. Trends in Functional Programming
پدیدآورنده : / Jurriaan Hage, Jay McCarthy
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
178. Trends in Functional Programming
پدیدآورنده : / Jay McCarthy
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK